A Strategic Approach to Transformational Design

نویسندگان

  • Jürgen Bohn
  • Wil Janssen
چکیده

Designing parallel systems in a correct way is difficult. Transformational design of systems guarantees correctness by the correctness of the transformations, but is often tedious and complicated. We discuss different transformation strategies to guide the designer from the initial specification to different implementations, tailored to different architectures. Strategies give rise to simpler transformation rules, point the way in the design trajectory, and allow for the reuse of proofs and transformation steps when deriving optimizations and variants of algorithms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigating the Current Situation of Strategic Management of Primary Prevention of Addiction with a Cultural Approach in Iran

Objective: The present study aimed to investigate the situation of strategic management of primary prevention of addiction with a cultural approach in terms of level of importance (applicability) and current situation (level of implementation). Method: The method of the present study was of descriptive-analytical and survey type, which was conducted using a researcher-made questionnaire. The st...

متن کامل

A study of leadership within the rapidly changing transaction banking environment

Transaction banking is changing in a fast pace due to digitalization, changes in regulation, new competition in the market etc. This acronym VUCA describes this environment; Volatility, Uncertainty, Complexity and Ambiguity. Due to changes in technology, politics and economics strategic renewal is critical to ensure long term survival. Middle managers play a vital role within strategic renewal ...

متن کامل

Desigining strategic management model for primary prevention of addiction a cultural approach, Diversification

This study aimed to design a strategic management model for primary prevention of addiction with a cultural approach. From this point of view, using a consecutive exploratory (qualitative-quantitative) design, it has attempted to evaluate the factors and finally formulate a strategic management model of primary prevention of addiction with a cultural approach. Thus, in the Delphi phase with the...

متن کامل

The Relationship between Spiritual Intelligence and Transformational Leadership

Nowadays, organizations are active in dynamic environments filled with changes and transformation. The requirement for surviving in such a situation is to create continuous organizational changes and upheavals, whether in behavioral dimension or structural one. In these organizational changes and upheavals, leadership and management have a determining role. Therefore, the existence of Knowledge...

متن کامل

Design and validation of the Transformational leadership model for elementary school principals

Among leadership styles, evolution leadership is the source of changes in the organization. If the organization is in a disadvantaged way in the management of employee performance, it identifies the consequences and thus, in a competitive environment, it strengthens the capabilities and competencies of the employees to compensate for the loss. will pay. One can refer to education as one of the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996